Predicate logic - PDFSEARCH.IO - Document Search Engine

Predicate logic
Results: 1102

#	Item
221	Summary of Successful ARC Future Fellowships Proposals for Funding to Commence in 2010 by State and Organisation New South Wales University of Technology, Sydney FT100100218 Dr Yuan Feng Approved Add to Reading List Source URL: arc.gov.au Language: English - Date: 2010-11-08 23:01:00 Zhu Feng WP Formal methods Predicate transformer semantics Program logic
222	WP 0.6 (Draft Manual) WP Plug-in (Draft) Manual Version 0.6 for OxygenPatrick Baudin, Loïc Correnson, Zaynah Dargaye Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:56 Predicate transformer semantics Software Logic in computer science Hoare logic Frama-C Precondition Lambert W function Program logic Theoretical computer science Formal methods
223	ACSL Version 1.6 Implementation in Oxygen ACSL: ANSI/ISO C Specication Language Version 1.6 Oxygen Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:01 Data types C++ Pointer C Predicate Logic programming Pascal Function Dangling pointer Software engineering Computing Computer programming
224	Generation of verification conditions for Abadi and Leino’s Logic of Objects [Extended Abstract] Francis Tang ∗ Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2002-01-23 08:33:01 Model theory Metalogic Deduction First-order logic Predicate logic Euclidean algorithm Symbol Interpretation Function Logic Mathematics Mathematical logic
225	WP 0.7 WP Plug-in Manual Version 0.7 for FluorinePatrick Baudin, Loïc Correnson, Zaynah Dargaye Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:55 Hoare logic Frama-C Formal methods Lambert W function Program logic Predicate transformer semantics Software
226	Program Verification as Satisfiability Modulo Theories Nikolaj Bjørner Microsoft Research Ken McMillan Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-08-15 16:20:10 Applied mathematics Electronic design automation Logic in computer science NP-complete problems Constraint programming Satisfiability Modulo Theories Boolean satisfiability problem Prolog Predicate transformer semantics Theoretical computer science Mathematics Formal methods
227	Predicate Logic Review John MacFarlane January 24, 2011 1 Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-01-24 19:39:11 Predicate logic Logical syntax Propositional calculus Interpretation First-order logic Well-formed formula Function Constructible universe Logical connective Logic Formal languages Model theory
228	Preventing Arithmetic Overflows in Alloy Aleksandar Milicevica,∗, Daniel Jacksona a Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory, Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2014-07-07 17:53:08 Model theory Semantics Predicate logic Formal languages Metalogic First-order logic Alloy Analyzer Alloy Integer overflow Logic Mathematical logic Mathematics
229	Generalized Quantifiers and Definite Descriptions John MacFarlane—Philosophy 142 February 1, 2011 1 Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-02-01 15:26:42 Model theory Quantification Philosophy of language Predicate logic First-order logic Interpretation Principia Mathematica Definite description Proposition Logic Mathematics Mathematical logic
230	Randomized Testing in PLT Redex Casey Klein Robert Bruce Findler University of Chicago Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:22:01 Logic in computer science Programming language semantics Predicate logic Reduction strategy Operational semantics Robert Bruce Findler Free variables and bound variables Eval Scheme Software engineering Computing Programming language theory

UPDATE